ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
721	High Assurance Software John Launchbury CEO, Galois Inc A Personal View Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-29 09:47:44 Procedural programming languages Cross-platform software C programming language Data types C Initialization Pointer Struct ALGOL 68 Software engineering Computing Computer programming
722	PDF Document Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:16 Widget toolkits Application programming interfaces Cross-platform software GTK+ Traceroute Futures and promises ALGOL 68 GTK Software Computing Computer programming
723	R Internals Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2015-05-01 05:06:25 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
724	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
725	High-level Process Control in Eden? Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen Priebe, and Nils Weskamp Philipps-Universit¨ at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMarbur Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2012-06-14 04:34:47 Algorithmic skeleton Generic programming Parallel computing Threads Haskell Glasgow Haskell Compiler Programming language ALGOL 68 Computing Software engineering Computer programming
726	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.4) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
727	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2015-05-02 05:06:52 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
728	BACnet Errata ANSI/ASHRAE STANDARD This document lists all known errata to ANSI/ASHRAEas of the above date. Each entry is cited first by clause, then page number. Entries 1 – 37 were incorpor Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2011-08-23 06:33:37 BACnet Building automation Communication Abstract Syntax Notation One SQL ALGOL 68 Computing Software engineering Programming language theory
729	888: LLVM Week 5 - Instcombine / PatternMatch Tobias Grosser Instcombine Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Central processing unit Instruction set LLVM ALGOL 68 Instruction set architectures Assembly languages Computing Computer architecture Software engineering
730	Technotes, HowTo Series C♯ Coding Style Guide Version 0.3 by Mike Krüger, Add to Reading List Source URL: www.icsharpcode.net Language: English - Date: 2004-02-16 10:51:48 Source code Procedural programming languages C programming language Conditional ALGOL 68 C Indentation For loop Naming convention Computer programming Software engineering Computing

UPDATE